منابع مشابه
Net prophets
Statements that " we have come to do biology in a new way " or " there is a new paradigm in biological research " are now commonplace. Nobody seems to be satisfied by a single good experiment that gives a precise answer to a well formulated question, which was the old way we did biology. On the contrary there is now a belief that a mass attack on parallel fronts can provide a database of all th...
متن کاملSchedulers are no Prophets
Several formalisms for concurrent computation have been proposed in recent years that incorporate means to express stochastic continuous-time dynamics and non-determinism. In this setting, some obscure phenomena are known to exist, related to the fact that schedulers may yield too pessimistic verification results, since current nondeterminism can surprisingly be resolved based on prophesying th...
متن کاملThe 12 prophets dataset
The "Ajeijadinho 3D" project is an initiative supported by the University of São Paulo (Museum of Science and Dean of Culture and Extension), which involves the 3D digitization of art works of Brazilian sculptor Antonio Francisco Lisboa, better known as Aleijadinho. The project made use of advanced acquisition and processing of 3D meshes for preservation and dissemination of the cultural herita...
متن کاملPessimistic Testing
We propose a new approach to testing conformance to a nondeterministic specification , in which testing proceeds only as long as increased test coverage is guaranteed. In testing that a system meets a nondeterministic specification [1], it is usually assumed that the system is fair to each transition of the specification (i.e., the system will make every possible nondeterministic choice if give...
متن کاملPessimistic Software Lock-Elision
Read-write locks are one of the most prevalent lock forms in concurrent applications because they allow read accesses to locked code to proceed in parallel. However, they do not offer any parallelism between reads and writes. This paper introduces pessimistic lock-elision (PLE), a new approach for nonspeculatively replacing read-write locks with pessimistic (i.e. non-aborting) software transact...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Nuclear Cardiology
سال: 2015
ISSN: 1071-3581,1532-6551
DOI: 10.1007/s12350-015-0311-4